Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
281	Towards an interpretation of the experiences of Migrant Domestic Workers: A Cultural Psychology approach - Matt Spencer 1. Abstract Migrant domestic workers constitute a transnational group united in their employment as Add to Reading List Source URL: www.kalayaan.org.uk Language: English - Date: 2014-12-02 19:33:52 Psychology Qualitative research Behavioural sciences Experimental psychology Anthropology Kalayaan Migrant domestic workers Grounded theory Debriefing Science Sociology Foreign workers
282	Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-14 12:51:08 Contract law Patrick Cousot Abstract interpretation Computer arithmetic Printf format string Caron Implied warranty Floating point ALGOL 68 Software engineering Computing Computer programming
283	Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Error detection and correction Software bugs Abstract interpretation Symbolic execution Malware Function Hash function Block cipher Mathematics Computing Computer programming
284	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
285	wcss 2010 poster abstract Add to Reading List Source URL: dl.ucd.ie Language: English - Date: 2011-03-26 19:49:59 Scientific modelling Cognition Simulation Economic model Social simulation Conceptual model Ethology Philosophy of mind Interpretation
286	Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Software testing Error detection and correction Software bugs Abstract interpretation Symbolic execution Malware Function Hash function Block cipher Mathematics Computing Computer programming
287	Motivation In this part of the course we’re examining several methods of higher-level program analysis. We have so far seen abstract interpretation and constraintbased analysis, two general frameworks for formally spec Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-28 06:00:00 Type theory Type systems Procedural programming languages Functional languages Program analysis Hindley–Milner ML Property Holomorphic functional calculus Software engineering Programming language theory Computing
288	1 Automatically Identifying Trigger-based Behavior in Malware David Brumley, Cody Hartwig, Zhenkai Liang, James Newsome, Dawn Song, Heng Yin Carnegie Mellon University Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Database trigger Trigger Computer virus Pointer Computing Software engineering Computer programming Abstract interpretation Symbolic execution Malware
289	BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07- Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Symbolic execution Software engineering Programming language implementation Malware Algorithm Assembly language KeY Computer program Software bug Computing Formal methods Abstract interpretation
290	Motivation We reason about programs statically, but we are really trying to make predictions about their dynamic behaviour. Why not examine this behaviour directly? It isn’t generally feasible (e.g. termination, inputs Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-16 06:00:00 Ring theory Abstraction Binary operations Elementary arithmetic Thought Abstract interpretation Multiplication Number Ring Abstract algebra Mathematics Algebra

UPDATE